A Theory of Software Product Line Refinement
نویسندگان
چکیده
To safely evolve a software product line, it is important to have a notion of product line refinement that assures behavior preservation of the original product line products. So in this article we present a language independent theory of product line refinement, establishing refinement properties that justify stepwise and compositional product line evolution.Moreover, we instantiate our theorywith the formalization of specific languages for typical product lines artifacts, and then introduce and prove soundness of a number of associated product line refinement transformation templates. These templates can be used to reason about specific product lines and as a basis to derive comprehensive product line refinement catalogues. © 2012 Elsevier B.V. All rights reserved.
منابع مشابه
Towards an I/O Conformance Testing Theory for Software Product Lines based on Modal Interface Automata
We present an adaptation of input/output conformance (ioco) testing principles to families of similar implementation variants as appearing in product line engineering. Our proposed product line testing theory relies on Modal Interface Automata (MIA) as behavioral specification formalism. MIA enrich I/O-labeled transition systems with may/must modalities to distinguish mandatory from optional be...
متن کاملRefinement to the Existing Analytical Methods of Analysis of Buried Pipelines due to Strike-Slip Faulting
Analytical methods presented to analyze the buried steel pipelines at strike-slip fault crossing use the Euler-Bernoulli beam theory. The cross-section of a buried pipe that is completely surrounded by soil cannot rotate freely and would not be remained perpendicular to the bending line after deformation. So it would be better to take into consideration a rotation between the cross-section and ...
متن کاملAspect Refinement and Bounded Quantification in Incremental Designs
This article investigates aspects in the context of the incremental software development, i.e. software product lines. Specifically, we propose the integration of aspects into AHEAD, an architectural model for feature-based product line development. We introduce the notion of aspect refinement based on Aspectual Mixin Layers, a novel technique for implementing features. Aspect refinement enable...
متن کاملAspect Refinement in Software Product Lines
This article investigates aspects in the context of the step-wise development of software product lines. Specifically, we propose the integration of aspects into AHEAD, an architectural model for feature-based product line development. We introduce the notion of aspect refinement based on Aspectual Mixin Layers, a technique for implementing features. Aspect refinement enables a programmer to ev...
متن کاملVariability Modelling for Model-Driven Development of Software Product Lines
Model-driven development of software-intensive systems aims at designing systems by stepwise model refinement. In order to create software product lines by model-driven development, product variability has to be represented on every modelling level and preserved under model refinement. In this paper, we propose ∆-modelling as an generally applicable variability modelling concept that is orthogo...
متن کامل